/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 	␈October 5, 1979 




␈↓ ↓H␈↓Direzione Generale Istruzione Universitaria
␈↓ ↓H␈↓U≠cio Concorsi a Cattedre
␈↓ ↓H␈↓Viale Trastevere
␈↓ ↓H␈↓00100 ROMA

␈↓ ↓H␈↓Dear sirs,

␈↓ ↓H␈↓Luigia␈α
Aiello␈αhas␈α
been␈α
a␈αvisitor␈α
at␈α
the␈αStanford␈α
Arti≡cial␈α
Laboratory␈αon␈α
two␈α
occasions␈α -␈α
 January
␈↓ ↓H␈↓1973␈αto␈αAugust␈α1974,␈α
and␈αFebruary␈α1979␈αuntil␈α
the␈αpresent.␈α During␈αher␈α
≡rst␈αvisit␈αhere␈αshe␈α
worked
␈↓ ↓H␈↓with␈α
Richard␈α
Weyhrauch␈αon␈α
the␈α
LCF␈αproject␈α
and␈α
they␈α
produced␈αseveral␈α
papers␈α
together.␈α On␈α
her
␈↓ ↓H␈↓currrent␈α∞visit␈α∂she␈α∞is␈α∂involved␈α∞with␈α∞the␈α∂formal␈α∞reasoning␈α∂project␈α∞and␈α∞is␈α∂working␈α∞with␈α∂the␈α∞FOL
␈↓ ↓H␈↓system.␈α
 It␈α
is␈α
my␈α∞impression␈α
that␈α
she␈α
has␈α
made␈α∞considerable␈α
contributions␈α
to␈α
both␈α∞these␈α
projects
␈↓ ↓H␈↓and␈α∞as␈α
a␈α∞result␈α∞we␈α
are␈α∞currently␈α∞augmenting␈α
her␈α∞Italian␈α
≡nancial␈α∞support.␈α∞ I␈α
believe␈α∞that␈α∞she␈α
is
␈↓ ↓H␈↓well suited for a university teaching position.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science